A symbolic simulator for hybrid equations
نویسندگان
چکیده
In this paper, the symbolic simulation of hybrid dynamical systems is studied and an algorithm to compute symbolic solutions for such systems is presented. The tasks to perform such simulations are introduced and an algorithm to symbolically calculate a solution to a hybrid system is presented. The symbolic representation allows the proposed simulator to calculate the actual solution to the system. Benefits and drawbacks of symbolic simulation with respect to the numerical approach are presented. These statements are supported and illustrated in several examples throughout the paper.
منابع مشابه
On-line Symbolic Constraint Embedding for Simulation of Hybrid Dynamical Systems
In this paper we present a simulator designed to handle multibody systems with changing constraints, wherein the equations of motion for each of its constraint configurations are formulated in minimal ODE form with constraints embedded before they are passed to an ODE solver. The constraint-embedded equations are formulated symbolically according to a re-combination of terms of the unconstraine...
متن کاملA Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملSymbolic Verification of Hybrid Systems: An Algebraic Approach
In this paper we present a new symbolic, computer algebra based approach to hybrid systems. Hybrid systems are systems containing both, continuous and discrete changing quantities. As is commonly done, we model hybrid systems using hybrid automata. Hybrid automata extend the classical notion of finite state machines by combining differential equations to model the dynamic behavior of systems wi...
متن کاملLarge Lithium Polymer Battery Modeling for the Simulation of Hybrid Electric Vehicles Using the Equivalent Circuit Method
In the present study, a model of a large Lithium Polymer (Li-Po) battery for use in the simulation of Hybrid Electric Vehicles (HEVs) is developed. To attain this goal, an Equivalent Circuit (EC) consisting of a series resistor and two RC parallel networks is considered. The accuracy and the response time of the model for use in an HEV simulator are studied. The battery parameters identifica...
متن کاملSymbolic State Equations for Analog Circuit with Excess Elements
A new method, using a normal tree (NT) and symbolic simulator Maple V, to systematically formulate symbolic state equations for linear timeinvariant analog circuits with excess elements is presented. Our objective is to develop an algorithm so that a computer program can be written to formulate the symbolic normal-form equations of a large class of analog circuits containing linear resistors, i...
متن کامل